منابع مشابه
Formal Methods: Theory Becoming Practice
In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the actual coding of a computer system, so that the software in question will be correct by construction. At the end, I shall present a number of real pro...
متن کاملIndustrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant challenges remain in providing usable tools that can be integrated into established development processe...
متن کاملAutolink -putting Formal Test Methods into Practice
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL speciication and MSC requirements. The rst big challenge for Autolink has been the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink whi...
متن کاملThe practice of formal methods in safety-critical systems
By describing several industrial-scale applications of formal methods, this paper intends to demonstrate that formal methods for software development and safety analysis are increasingly adopted in the safety critical systems sector. The bene ts and limitations of using formal methods are described, and the problems of developing software for safety critical systems are analysed.
متن کاملActive Learning Facilitates Success of Formal Methods in Practice
Software development does not consist only of technical activities, as it usually regarded. It also involves social and cognitive activities that are particularly important in complex projects. To make a software development project successful the staff involved should possess the necessary social and cognitive skills. The significance of such skills increases if some novel, advanced techniques...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2002
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(01)00027-2